The Verified Software Challenge: A Call for a Holistic Approach to Reliability Thomas Ball Microsoft Research, Redmond, WA, USA, Email: [removed] 1

Source URL: vstte.inf.ethz.ch

• Device drivers
• Windows NT
• Microsoft Research
• Singularity
• Operating system
• Kernel
• Device driver
• SLAM project
• Device driver synthesis and verification
• Computer architecture
• Computing
• System software

Alaska State Museums Bulletin 60 January 2013 Contents: SLAM Project Breaks Ground! Ask ASM

Source URL: museums.alaska.gov

• Museum
• Preservation
• Collection
• Juneau
• Alaska
• Humanities
• Cultural studies
• Alaska
• Museology
• Archival science
• Alaska State Centennial Museum

Off/Page Project Program Manager  A joint position between Youth Speaks and The Center for Investigative Reporting    Project description and mission:  The Off/Page Project combines the analytic

Source URL: youthspeaks.org

• Brave New Voices
• Literature
• Investigative journalism
• Slam poetry
• Center for Investigative Reporting

Pose Graph Compression for Laser-Based SLAM Cyrill Stachniss and Henrik Kretzschmar Abstract The pose graph is a central data structure in graph-based SLAM approaches. It encodes the poses of the robot during data acquis

Source URL: www.tapas-project.eu

• Applied mathematics
• Combinatorial optimization
• Occupancy grid mapping
• Robotic mapping
• Motion planning
• 3D scanner
• Connectivity
• Simultaneous localization and mapping
• Matching
• Robot navigation
• Graph theory
• Mathematics

Information-Theoretic Compression of Pose Graphs for Laser-Based SLAM Henrik Kretzschmar Cyrill Stachniss

Source URL: www.tapas-project.eu

• Statistical theory
• Science
• Occupancy grid mapping
• Simultaneous localization and mapping
• 3D scanner
• Motion planning
• Entropy
• Robotic mapping
• Kalman filter
• Robot navigation
• Statistics
• Applied mathematics

Delta/Schoolcraft site Project grid and boundary SLAM Pilot Project Delta County, MI Schoolcraft County, MI

Source URL: www.slameab.info

Fotorally Euro Slam (Finland) Summary The Fotorally Euro Slam project is anchored in local cultural institutions that represent sectors of cultural life, especially those found in local suburbs, often underrepresented i

Source URL: www.create2009.europa.eu

• Lasipalatsi
• Streamline Moderne architecture
• Helsinki
• Cultural diversity
• Eurocities
• Creative industries
• Culture
• Interreg
• Cultural economics
• Cultural studies
• Europe

Package ‘slam’ July 2, 2014 Version[removed]Title Sparse Lightweight Arrays and Matrices Description Data structures and algorithms for sparse arrays and matrices,based on index arrays and simple triplet representatio

Source URL: cran.r-project.org

• Abstract algebra
• Arrays
• Sparse matrix
• Matrix
• Numerical linear algebra
• Array programming
• Array data type
• Sparse array
• Vector space
• Algebra
• Mathematics
• Linear algebra

2014 Colorado Poetry Out Loud Visiting Artist Roster Ken Arkind/ Denver Minor Disturbance Youth Poetry Project [removed[removed]Work Sample:

Source URL: www.coloradocreativeindustries.org

• Arts
• American poetry
• University of Arizona Poetry Center
• Literature
• Poetry slam
• Performance poetry

SLAM: A Multi-Agency Pilot Project to SL.ow A.sh M.ortality Caused by Emerald Ash Borer in Outlier Sites Therese M. Poland1 and Deborah G.

Source URL: www.slameab.info

• Biological pest control
• Emerald ash borer
• Medicinal plants
• Fraxinus
• Ash Borer
• Agrilus
• Girdling
• Imidacloprid
• Tetrastichus planipennisi
• Flora of the United States
• Buprestidae
• Woodboring beetles